(declare-fun a () (Seq Int))
(declare-fun b () Int)
(declare-fun c () Int)
(assert k)
(check-sat)
(declare-fun a () (Seq Int))
(declare-fun b () Int)
(declare-fun c () Int)
(assert k)
(check-sat)
